begin_version
3.FOND
end_version
begin_metric
0
end_metric
55
begin_variable
var0
-1
2
Atom completed(o1)
NegatedAtom completed(o1)
end_variable
begin_variable
var1
-1
2
Atom completed(o2)
NegatedAtom completed(o2)
end_variable
begin_variable
var2
-1
2
Atom completed(o3)
NegatedAtom completed(o3)
end_variable
begin_variable
var3
-1
2
Atom completed(o4)
NegatedAtom completed(o4)
end_variable
begin_variable
var4
-1
2
Atom completed(o5)
NegatedAtom completed(o5)
end_variable
begin_variable
var5
-1
2
Atom completed(o6)
NegatedAtom completed(o6)
end_variable
begin_variable
var6
-1
2
Atom completed(o7)
NegatedAtom completed(o7)
end_variable
begin_variable
var7
-1
2
Atom completed(o8)
NegatedAtom completed(o8)
end_variable
begin_variable
var8
-1
2
Atom completed(o9)
NegatedAtom completed(o9)
end_variable
begin_variable
var9
-1
2
Atom fault(f1)
NegatedAtom fault(f1)
end_variable
begin_variable
var10
-1
2
Atom fault(f2)
NegatedAtom fault(f2)
end_variable
begin_variable
var11
-1
2
Atom fault(f3)
NegatedAtom fault(f3)
end_variable
begin_variable
var12
-1
2
Atom fault(f4)
NegatedAtom fault(f4)
end_variable
begin_variable
var13
-1
2
Atom fault(f5)
NegatedAtom fault(f5)
end_variable
begin_variable
var14
-1
2
Atom fault(f6)
NegatedAtom fault(f6)
end_variable
begin_variable
var15
-1
2
Atom fault(f7)
NegatedAtom fault(f7)
end_variable
begin_variable
var16
-1
2
Atom fault(f8)
NegatedAtom fault(f8)
end_variable
begin_variable
var17
-1
2
Atom fault(f9)
NegatedAtom fault(f9)
end_variable
begin_variable
var18
-1
11
Atom faulted-op(o1, f1)
Atom faulted-op(o1, f2)
Atom faulted-op(o1, f3)
Atom faulted-op(o1, f4)
Atom faulted-op(o1, f5)
Atom faulted-op(o1, f6)
Atom faulted-op(o1, f7)
Atom faulted-op(o1, f8)
Atom faulted-op(o1, f9)
Atom not-completed(o1)
<none of those>
end_variable
begin_variable
var19
-1
11
Atom faulted-op(o2, f1)
Atom faulted-op(o2, f2)
Atom faulted-op(o2, f3)
Atom faulted-op(o2, f4)
Atom faulted-op(o2, f5)
Atom faulted-op(o2, f6)
Atom faulted-op(o2, f7)
Atom faulted-op(o2, f8)
Atom faulted-op(o2, f9)
Atom not-completed(o2)
<none of those>
end_variable
begin_variable
var20
-1
11
Atom faulted-op(o3, f1)
Atom faulted-op(o3, f2)
Atom faulted-op(o3, f3)
Atom faulted-op(o3, f4)
Atom faulted-op(o3, f5)
Atom faulted-op(o3, f6)
Atom faulted-op(o3, f7)
Atom faulted-op(o3, f8)
Atom faulted-op(o3, f9)
Atom not-completed(o3)
<none of those>
end_variable
begin_variable
var21
-1
11
Atom faulted-op(o4, f1)
Atom faulted-op(o4, f2)
Atom faulted-op(o4, f3)
Atom faulted-op(o4, f4)
Atom faulted-op(o4, f5)
Atom faulted-op(o4, f6)
Atom faulted-op(o4, f7)
Atom faulted-op(o4, f8)
Atom faulted-op(o4, f9)
Atom not-completed(o4)
<none of those>
end_variable
begin_variable
var22
-1
11
Atom faulted-op(o5, f1)
Atom faulted-op(o5, f2)
Atom faulted-op(o5, f3)
Atom faulted-op(o5, f4)
Atom faulted-op(o5, f5)
Atom faulted-op(o5, f6)
Atom faulted-op(o5, f7)
Atom faulted-op(o5, f8)
Atom faulted-op(o5, f9)
Atom not-completed(o5)
<none of those>
end_variable
begin_variable
var23
-1
11
Atom faulted-op(o6, f1)
Atom faulted-op(o6, f2)
Atom faulted-op(o6, f3)
Atom faulted-op(o6, f4)
Atom faulted-op(o6, f5)
Atom faulted-op(o6, f6)
Atom faulted-op(o6, f7)
Atom faulted-op(o6, f8)
Atom faulted-op(o6, f9)
Atom not-completed(o6)
<none of those>
end_variable
begin_variable
var24
-1
11
Atom faulted-op(o7, f1)
Atom faulted-op(o7, f2)
Atom faulted-op(o7, f3)
Atom faulted-op(o7, f4)
Atom faulted-op(o7, f5)
Atom faulted-op(o7, f6)
Atom faulted-op(o7, f7)
Atom faulted-op(o7, f8)
Atom faulted-op(o7, f9)
Atom not-completed(o7)
<none of those>
end_variable
begin_variable
var25
-1
11
Atom faulted-op(o8, f1)
Atom faulted-op(o8, f2)
Atom faulted-op(o8, f3)
Atom faulted-op(o8, f4)
Atom faulted-op(o8, f5)
Atom faulted-op(o8, f6)
Atom faulted-op(o8, f7)
Atom faulted-op(o8, f8)
Atom faulted-op(o8, f9)
Atom not-completed(o8)
<none of those>
end_variable
begin_variable
var26
-1
11
Atom faulted-op(o9, f1)
Atom faulted-op(o9, f2)
Atom faulted-op(o9, f3)
Atom faulted-op(o9, f4)
Atom faulted-op(o9, f5)
Atom faulted-op(o9, f6)
Atom faulted-op(o9, f7)
Atom faulted-op(o9, f8)
Atom faulted-op(o9, f9)
Atom not-completed(o9)
<none of those>
end_variable
begin_variable
var27
-1
2
Atom last-fault(f1)
NegatedAtom last-fault(f1)
end_variable
begin_variable
var28
-1
2
Atom last-fault(f2)
NegatedAtom last-fault(f2)
end_variable
begin_variable
var29
-1
2
Atom last-fault(f3)
NegatedAtom last-fault(f3)
end_variable
begin_variable
var30
-1
2
Atom last-fault(f4)
NegatedAtom last-fault(f4)
end_variable
begin_variable
var31
-1
2
Atom last-fault(f5)
NegatedAtom last-fault(f5)
end_variable
begin_variable
var32
-1
2
Atom last-fault(f6)
NegatedAtom last-fault(f6)
end_variable
begin_variable
var33
-1
2
Atom last-fault(f7)
NegatedAtom last-fault(f7)
end_variable
begin_variable
var34
-1
2
Atom last-fault(f8)
NegatedAtom last-fault(f8)
end_variable
begin_variable
var35
-1
2
Atom last-fault(f9)
NegatedAtom last-fault(f9)
end_variable
begin_variable
var36
-1
2
Atom made()
NegatedAtom made()
end_variable
begin_variable
var37
-1
2
Atom not-fault(f1)
NegatedAtom not-fault(f1)
end_variable
begin_variable
var38
-1
2
Atom not-fault(f2)
NegatedAtom not-fault(f2)
end_variable
begin_variable
var39
-1
2
Atom not-fault(f3)
NegatedAtom not-fault(f3)
end_variable
begin_variable
var40
-1
2
Atom not-fault(f4)
NegatedAtom not-fault(f4)
end_variable
begin_variable
var41
-1
2
Atom not-fault(f5)
NegatedAtom not-fault(f5)
end_variable
begin_variable
var42
-1
2
Atom not-fault(f6)
NegatedAtom not-fault(f6)
end_variable
begin_variable
var43
-1
2
Atom not-fault(f7)
NegatedAtom not-fault(f7)
end_variable
begin_variable
var44
-1
2
Atom not-fault(f8)
NegatedAtom not-fault(f8)
end_variable
begin_variable
var45
-1
2
Atom not-fault(f9)
NegatedAtom not-fault(f9)
end_variable
begin_variable
var46
-1
2
Atom not-last-fault(f1)
NegatedAtom not-last-fault(f1)
end_variable
begin_variable
var47
-1
2
Atom not-last-fault(f2)
NegatedAtom not-last-fault(f2)
end_variable
begin_variable
var48
-1
2
Atom not-last-fault(f3)
NegatedAtom not-last-fault(f3)
end_variable
begin_variable
var49
-1
2
Atom not-last-fault(f4)
NegatedAtom not-last-fault(f4)
end_variable
begin_variable
var50
-1
2
Atom not-last-fault(f5)
NegatedAtom not-last-fault(f5)
end_variable
begin_variable
var51
-1
2
Atom not-last-fault(f6)
NegatedAtom not-last-fault(f6)
end_variable
begin_variable
var52
-1
2
Atom not-last-fault(f7)
NegatedAtom not-last-fault(f7)
end_variable
begin_variable
var53
-1
2
Atom not-last-fault(f8)
NegatedAtom not-last-fault(f8)
end_variable
begin_variable
var54
-1
2
Atom not-last-fault(f9)
NegatedAtom not-last-fault(f9)
end_variable
18
begin_mutex_group
10
18 0
18 1
18 2
18 3
18 4
18 5
18 6
18 7
18 8
18 9
end_mutex_group
begin_mutex_group
10
18 0
19 0
20 0
21 0
22 0
23 0
24 0
25 0
26 0
37 0
end_mutex_group
begin_mutex_group
10
18 1
19 1
20 1
21 1
22 1
23 1
24 1
25 1
26 1
38 0
end_mutex_group
begin_mutex_group
10
18 2
19 2
20 2
21 2
22 2
23 2
24 2
25 2
26 2
39 0
end_mutex_group
begin_mutex_group
10
18 3
19 3
20 3
21 3
22 3
23 3
24 3
25 3
26 3
40 0
end_mutex_group
begin_mutex_group
10
18 4
19 4
20 4
21 4
22 4
23 4
24 4
25 4
26 4
41 0
end_mutex_group
begin_mutex_group
10
18 5
19 5
20 5
21 5
22 5
23 5
24 5
25 5
26 5
42 0
end_mutex_group
begin_mutex_group
10
18 6
19 6
20 6
21 6
22 6
23 6
24 6
25 6
26 6
43 0
end_mutex_group
begin_mutex_group
10
18 7
19 7
20 7
21 7
22 7
23 7
24 7
25 7
26 7
44 0
end_mutex_group
begin_mutex_group
10
18 8
19 8
20 8
21 8
22 8
23 8
24 8
25 8
26 8
45 0
end_mutex_group
begin_mutex_group
10
19 0
19 1
19 2
19 3
19 4
19 5
19 6
19 7
19 8
19 9
end_mutex_group
begin_mutex_group
10
20 0
20 1
20 2
20 3
20 4
20 5
20 6
20 7
20 8
20 9
end_mutex_group
begin_mutex_group
10
21 0
21 1
21 2
21 3
21 4
21 5
21 6
21 7
21 8
21 9
end_mutex_group
begin_mutex_group
10
22 0
22 1
22 2
22 3
22 4
22 5
22 6
22 7
22 8
22 9
end_mutex_group
begin_mutex_group
10
23 0
23 1
23 2
23 3
23 4
23 5
23 6
23 7
23 8
23 9
end_mutex_group
begin_mutex_group
10
24 0
24 1
24 2
24 3
24 4
24 5
24 6
24 7
24 8
24 9
end_mutex_group
begin_mutex_group
10
25 0
25 1
25 2
25 3
25 4
25 5
25 6
25 7
25 8
25 9
end_mutex_group
begin_mutex_group
10
26 0
26 1
26 2
26 3
26 4
26 5
26 6
26 7
26 8
26 9
end_mutex_group
begin_state
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
9
9
9
9
9
9
9
9
9
1
1
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
end_state
begin_goal
1
36 0
end_goal
163
begin_operator
finish 
10
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
54 0
1
1
0 36 -1 0
0
end_operator
begin_operator
perform-operation-1-fault o1
10
18 9
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 0 -1 0
0 9 -1 0
0 18 9 0
0 27 -1 0
0 37 0 1
0 46 -1 1
2
0 0 -1 0
0 18 9 10
0
end_operator
begin_operator
perform-operation-1-fault o2
10
19 9
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 1 -1 0
0 9 -1 0
0 19 9 0
0 27 -1 0
0 37 0 1
0 46 -1 1
2
0 1 -1 0
0 19 9 10
0
end_operator
begin_operator
perform-operation-1-fault o3
10
20 9
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 2 -1 0
0 9 -1 0
0 20 9 0
0 27 -1 0
0 37 0 1
0 46 -1 1
2
0 2 -1 0
0 20 9 10
0
end_operator
begin_operator
perform-operation-1-fault o4
10
21 9
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 3 -1 0
0 9 -1 0
0 21 9 0
0 27 -1 0
0 37 0 1
0 46 -1 1
2
0 3 -1 0
0 21 9 10
0
end_operator
begin_operator
perform-operation-1-fault o5
10
22 9
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 4 -1 0
0 9 -1 0
0 22 9 0
0 27 -1 0
0 37 0 1
0 46 -1 1
2
0 4 -1 0
0 22 9 10
0
end_operator
begin_operator
perform-operation-1-fault o6
10
23 9
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 5 -1 0
0 9 -1 0
0 23 9 0
0 27 -1 0
0 37 0 1
0 46 -1 1
2
0 5 -1 0
0 23 9 10
0
end_operator
begin_operator
perform-operation-1-fault o7
10
24 9
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 6 -1 0
0 9 -1 0
0 24 9 0
0 27 -1 0
0 37 0 1
0 46 -1 1
2
0 6 -1 0
0 24 9 10
0
end_operator
begin_operator
perform-operation-1-fault o8
10
25 9
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 7 -1 0
0 9 -1 0
0 25 9 0
0 27 -1 0
0 37 0 1
0 46 -1 1
2
0 7 -1 0
0 25 9 10
0
end_operator
begin_operator
perform-operation-1-fault o9
10
26 9
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 8 -1 0
0 9 -1 0
0 26 9 0
0 27 -1 0
0 37 0 1
0 46 -1 1
2
0 8 -1 0
0 26 9 10
0
end_operator
begin_operator
perform-operation-2-fault o1
10
9 0
18 9
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 0 -1 0
0 10 -1 0
0 18 9 1
0 28 -1 0
0 38 0 1
0 47 -1 1
2
0 0 -1 0
0 18 9 10
0
end_operator
begin_operator
perform-operation-2-fault o2
10
9 0
19 9
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 1 -1 0
0 10 -1 0
0 19 9 1
0 28 -1 0
0 38 0 1
0 47 -1 1
2
0 1 -1 0
0 19 9 10
0
end_operator
begin_operator
perform-operation-2-fault o3
10
9 0
20 9
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 2 -1 0
0 10 -1 0
0 20 9 1
0 28 -1 0
0 38 0 1
0 47 -1 1
2
0 2 -1 0
0 20 9 10
0
end_operator
begin_operator
perform-operation-2-fault o4
10
9 0
21 9
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 3 -1 0
0 10 -1 0
0 21 9 1
0 28 -1 0
0 38 0 1
0 47 -1 1
2
0 3 -1 0
0 21 9 10
0
end_operator
begin_operator
perform-operation-2-fault o5
10
9 0
22 9
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 4 -1 0
0 10 -1 0
0 22 9 1
0 28 -1 0
0 38 0 1
0 47 -1 1
2
0 4 -1 0
0 22 9 10
0
end_operator
begin_operator
perform-operation-2-fault o6
10
9 0
23 9
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 5 -1 0
0 10 -1 0
0 23 9 1
0 28 -1 0
0 38 0 1
0 47 -1 1
2
0 5 -1 0
0 23 9 10
0
end_operator
begin_operator
perform-operation-2-fault o7
10
9 0
24 9
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 6 -1 0
0 10 -1 0
0 24 9 1
0 28 -1 0
0 38 0 1
0 47 -1 1
2
0 6 -1 0
0 24 9 10
0
end_operator
begin_operator
perform-operation-2-fault o8
10
9 0
25 9
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 7 -1 0
0 10 -1 0
0 25 9 1
0 28 -1 0
0 38 0 1
0 47 -1 1
2
0 7 -1 0
0 25 9 10
0
end_operator
begin_operator
perform-operation-2-fault o9
10
9 0
26 9
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 8 -1 0
0 10 -1 0
0 26 9 1
0 28 -1 0
0 38 0 1
0 47 -1 1
2
0 8 -1 0
0 26 9 10
0
end_operator
begin_operator
perform-operation-3-fault o1
10
9 0
10 0
18 9
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 0 -1 0
0 11 -1 0
0 18 9 2
0 29 -1 0
0 39 0 1
0 48 -1 1
2
0 0 -1 0
0 18 9 10
0
end_operator
begin_operator
perform-operation-3-fault o2
10
9 0
10 0
19 9
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 1 -1 0
0 11 -1 0
0 19 9 2
0 29 -1 0
0 39 0 1
0 48 -1 1
2
0 1 -1 0
0 19 9 10
0
end_operator
begin_operator
perform-operation-3-fault o3
10
9 0
10 0
20 9
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 2 -1 0
0 11 -1 0
0 20 9 2
0 29 -1 0
0 39 0 1
0 48 -1 1
2
0 2 -1 0
0 20 9 10
0
end_operator
begin_operator
perform-operation-3-fault o4
10
9 0
10 0
21 9
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 3 -1 0
0 11 -1 0
0 21 9 2
0 29 -1 0
0 39 0 1
0 48 -1 1
2
0 3 -1 0
0 21 9 10
0
end_operator
begin_operator
perform-operation-3-fault o5
10
9 0
10 0
22 9
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 4 -1 0
0 11 -1 0
0 22 9 2
0 29 -1 0
0 39 0 1
0 48 -1 1
2
0 4 -1 0
0 22 9 10
0
end_operator
begin_operator
perform-operation-3-fault o6
10
9 0
10 0
23 9
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 5 -1 0
0 11 -1 0
0 23 9 2
0 29 -1 0
0 39 0 1
0 48 -1 1
2
0 5 -1 0
0 23 9 10
0
end_operator
begin_operator
perform-operation-3-fault o7
10
9 0
10 0
24 9
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 6 -1 0
0 11 -1 0
0 24 9 2
0 29 -1 0
0 39 0 1
0 48 -1 1
2
0 6 -1 0
0 24 9 10
0
end_operator
begin_operator
perform-operation-3-fault o8
10
9 0
10 0
25 9
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 7 -1 0
0 11 -1 0
0 25 9 2
0 29 -1 0
0 39 0 1
0 48 -1 1
2
0 7 -1 0
0 25 9 10
0
end_operator
begin_operator
perform-operation-3-fault o9
10
9 0
10 0
26 9
39 0
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 8 -1 0
0 11 -1 0
0 26 9 2
0 29 -1 0
0 39 0 1
0 48 -1 1
2
0 8 -1 0
0 26 9 10
0
end_operator
begin_operator
perform-operation-4-fault o1
10
9 0
10 0
11 0
18 9
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 0 -1 0
0 12 -1 0
0 18 9 3
0 30 -1 0
0 40 0 1
0 49 -1 1
2
0 0 -1 0
0 18 9 10
0
end_operator
begin_operator
perform-operation-4-fault o2
10
9 0
10 0
11 0
19 9
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 1 -1 0
0 12 -1 0
0 19 9 3
0 30 -1 0
0 40 0 1
0 49 -1 1
2
0 1 -1 0
0 19 9 10
0
end_operator
begin_operator
perform-operation-4-fault o3
10
9 0
10 0
11 0
20 9
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 2 -1 0
0 12 -1 0
0 20 9 3
0 30 -1 0
0 40 0 1
0 49 -1 1
2
0 2 -1 0
0 20 9 10
0
end_operator
begin_operator
perform-operation-4-fault o4
10
9 0
10 0
11 0
21 9
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 3 -1 0
0 12 -1 0
0 21 9 3
0 30 -1 0
0 40 0 1
0 49 -1 1
2
0 3 -1 0
0 21 9 10
0
end_operator
begin_operator
perform-operation-4-fault o5
10
9 0
10 0
11 0
22 9
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 4 -1 0
0 12 -1 0
0 22 9 3
0 30 -1 0
0 40 0 1
0 49 -1 1
2
0 4 -1 0
0 22 9 10
0
end_operator
begin_operator
perform-operation-4-fault o6
10
9 0
10 0
11 0
23 9
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 5 -1 0
0 12 -1 0
0 23 9 3
0 30 -1 0
0 40 0 1
0 49 -1 1
2
0 5 -1 0
0 23 9 10
0
end_operator
begin_operator
perform-operation-4-fault o7
10
9 0
10 0
11 0
24 9
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 6 -1 0
0 12 -1 0
0 24 9 3
0 30 -1 0
0 40 0 1
0 49 -1 1
2
0 6 -1 0
0 24 9 10
0
end_operator
begin_operator
perform-operation-4-fault o8
10
9 0
10 0
11 0
25 9
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 7 -1 0
0 12 -1 0
0 25 9 3
0 30 -1 0
0 40 0 1
0 49 -1 1
2
0 7 -1 0
0 25 9 10
0
end_operator
begin_operator
perform-operation-4-fault o9
10
9 0
10 0
11 0
26 9
40 0
41 0
42 0
43 0
44 0
45 0
2
6
0 8 -1 0
0 12 -1 0
0 26 9 3
0 30 -1 0
0 40 0 1
0 49 -1 1
2
0 8 -1 0
0 26 9 10
0
end_operator
begin_operator
perform-operation-5-fault o1
10
9 0
10 0
11 0
12 0
18 9
41 0
42 0
43 0
44 0
45 0
2
6
0 0 -1 0
0 13 -1 0
0 18 9 4
0 31 -1 0
0 41 0 1
0 50 -1 1
2
0 0 -1 0
0 18 9 10
0
end_operator
begin_operator
perform-operation-5-fault o2
10
9 0
10 0
11 0
12 0
19 9
41 0
42 0
43 0
44 0
45 0
2
6
0 1 -1 0
0 13 -1 0
0 19 9 4
0 31 -1 0
0 41 0 1
0 50 -1 1
2
0 1 -1 0
0 19 9 10
0
end_operator
begin_operator
perform-operation-5-fault o3
10
9 0
10 0
11 0
12 0
20 9
41 0
42 0
43 0
44 0
45 0
2
6
0 2 -1 0
0 13 -1 0
0 20 9 4
0 31 -1 0
0 41 0 1
0 50 -1 1
2
0 2 -1 0
0 20 9 10
0
end_operator
begin_operator
perform-operation-5-fault o4
10
9 0
10 0
11 0
12 0
21 9
41 0
42 0
43 0
44 0
45 0
2
6
0 3 -1 0
0 13 -1 0
0 21 9 4
0 31 -1 0
0 41 0 1
0 50 -1 1
2
0 3 -1 0
0 21 9 10
0
end_operator
begin_operator
perform-operation-5-fault o5
10
9 0
10 0
11 0
12 0
22 9
41 0
42 0
43 0
44 0
45 0
2
6
0 4 -1 0
0 13 -1 0
0 22 9 4
0 31 -1 0
0 41 0 1
0 50 -1 1
2
0 4 -1 0
0 22 9 10
0
end_operator
begin_operator
perform-operation-5-fault o6
10
9 0
10 0
11 0
12 0
23 9
41 0
42 0
43 0
44 0
45 0
2
6
0 5 -1 0
0 13 -1 0
0 23 9 4
0 31 -1 0
0 41 0 1
0 50 -1 1
2
0 5 -1 0
0 23 9 10
0
end_operator
begin_operator
perform-operation-5-fault o7
10
9 0
10 0
11 0
12 0
24 9
41 0
42 0
43 0
44 0
45 0
2
6
0 6 -1 0
0 13 -1 0
0 24 9 4
0 31 -1 0
0 41 0 1
0 50 -1 1
2
0 6 -1 0
0 24 9 10
0
end_operator
begin_operator
perform-operation-5-fault o8
10
9 0
10 0
11 0
12 0
25 9
41 0
42 0
43 0
44 0
45 0
2
6
0 7 -1 0
0 13 -1 0
0 25 9 4
0 31 -1 0
0 41 0 1
0 50 -1 1
2
0 7 -1 0
0 25 9 10
0
end_operator
begin_operator
perform-operation-5-fault o9
10
9 0
10 0
11 0
12 0
26 9
41 0
42 0
43 0
44 0
45 0
2
6
0 8 -1 0
0 13 -1 0
0 26 9 4
0 31 -1 0
0 41 0 1
0 50 -1 1
2
0 8 -1 0
0 26 9 10
0
end_operator
begin_operator
perform-operation-6-fault o1
10
9 0
10 0
11 0
12 0
13 0
18 9
42 0
43 0
44 0
45 0
2
6
0 0 -1 0
0 14 -1 0
0 18 9 5
0 32 -1 0
0 42 0 1
0 51 -1 1
2
0 0 -1 0
0 18 9 10
0
end_operator
begin_operator
perform-operation-6-fault o2
10
9 0
10 0
11 0
12 0
13 0
19 9
42 0
43 0
44 0
45 0
2
6
0 1 -1 0
0 14 -1 0
0 19 9 5
0 32 -1 0
0 42 0 1
0 51 -1 1
2
0 1 -1 0
0 19 9 10
0
end_operator
begin_operator
perform-operation-6-fault o3
10
9 0
10 0
11 0
12 0
13 0
20 9
42 0
43 0
44 0
45 0
2
6
0 2 -1 0
0 14 -1 0
0 20 9 5
0 32 -1 0
0 42 0 1
0 51 -1 1
2
0 2 -1 0
0 20 9 10
0
end_operator
begin_operator
perform-operation-6-fault o4
10
9 0
10 0
11 0
12 0
13 0
21 9
42 0
43 0
44 0
45 0
2
6
0 3 -1 0
0 14 -1 0
0 21 9 5
0 32 -1 0
0 42 0 1
0 51 -1 1
2
0 3 -1 0
0 21 9 10
0
end_operator
begin_operator
perform-operation-6-fault o5
10
9 0
10 0
11 0
12 0
13 0
22 9
42 0
43 0
44 0
45 0
2
6
0 4 -1 0
0 14 -1 0
0 22 9 5
0 32 -1 0
0 42 0 1
0 51 -1 1
2
0 4 -1 0
0 22 9 10
0
end_operator
begin_operator
perform-operation-6-fault o6
10
9 0
10 0
11 0
12 0
13 0
23 9
42 0
43 0
44 0
45 0
2
6
0 5 -1 0
0 14 -1 0
0 23 9 5
0 32 -1 0
0 42 0 1
0 51 -1 1
2
0 5 -1 0
0 23 9 10
0
end_operator
begin_operator
perform-operation-6-fault o7
10
9 0
10 0
11 0
12 0
13 0
24 9
42 0
43 0
44 0
45 0
2
6
0 6 -1 0
0 14 -1 0
0 24 9 5
0 32 -1 0
0 42 0 1
0 51 -1 1
2
0 6 -1 0
0 24 9 10
0
end_operator
begin_operator
perform-operation-6-fault o8
10
9 0
10 0
11 0
12 0
13 0
25 9
42 0
43 0
44 0
45 0
2
6
0 7 -1 0
0 14 -1 0
0 25 9 5
0 32 -1 0
0 42 0 1
0 51 -1 1
2
0 7 -1 0
0 25 9 10
0
end_operator
begin_operator
perform-operation-6-fault o9
10
9 0
10 0
11 0
12 0
13 0
26 9
42 0
43 0
44 0
45 0
2
6
0 8 -1 0
0 14 -1 0
0 26 9 5
0 32 -1 0
0 42 0 1
0 51 -1 1
2
0 8 -1 0
0 26 9 10
0
end_operator
begin_operator
perform-operation-7-fault o1
10
9 0
10 0
11 0
12 0
13 0
14 0
18 9
43 0
44 0
45 0
2
6
0 0 -1 0
0 15 -1 0
0 18 9 6
0 33 -1 0
0 43 0 1
0 52 -1 1
2
0 0 -1 0
0 18 9 10
0
end_operator
begin_operator
perform-operation-7-fault o2
10
9 0
10 0
11 0
12 0
13 0
14 0
19 9
43 0
44 0
45 0
2
6
0 1 -1 0
0 15 -1 0
0 19 9 6
0 33 -1 0
0 43 0 1
0 52 -1 1
2
0 1 -1 0
0 19 9 10
0
end_operator
begin_operator
perform-operation-7-fault o3
10
9 0
10 0
11 0
12 0
13 0
14 0
20 9
43 0
44 0
45 0
2
6
0 2 -1 0
0 15 -1 0
0 20 9 6
0 33 -1 0
0 43 0 1
0 52 -1 1
2
0 2 -1 0
0 20 9 10
0
end_operator
begin_operator
perform-operation-7-fault o4
10
9 0
10 0
11 0
12 0
13 0
14 0
21 9
43 0
44 0
45 0
2
6
0 3 -1 0
0 15 -1 0
0 21 9 6
0 33 -1 0
0 43 0 1
0 52 -1 1
2
0 3 -1 0
0 21 9 10
0
end_operator
begin_operator
perform-operation-7-fault o5
10
9 0
10 0
11 0
12 0
13 0
14 0
22 9
43 0
44 0
45 0
2
6
0 4 -1 0
0 15 -1 0
0 22 9 6
0 33 -1 0
0 43 0 1
0 52 -1 1
2
0 4 -1 0
0 22 9 10
0
end_operator
begin_operator
perform-operation-7-fault o6
10
9 0
10 0
11 0
12 0
13 0
14 0
23 9
43 0
44 0
45 0
2
6
0 5 -1 0
0 15 -1 0
0 23 9 6
0 33 -1 0
0 43 0 1
0 52 -1 1
2
0 5 -1 0
0 23 9 10
0
end_operator
begin_operator
perform-operation-7-fault o7
10
9 0
10 0
11 0
12 0
13 0
14 0
24 9
43 0
44 0
45 0
2
6
0 6 -1 0
0 15 -1 0
0 24 9 6
0 33 -1 0
0 43 0 1
0 52 -1 1
2
0 6 -1 0
0 24 9 10
0
end_operator
begin_operator
perform-operation-7-fault o8
10
9 0
10 0
11 0
12 0
13 0
14 0
25 9
43 0
44 0
45 0
2
6
0 7 -1 0
0 15 -1 0
0 25 9 6
0 33 -1 0
0 43 0 1
0 52 -1 1
2
0 7 -1 0
0 25 9 10
0
end_operator
begin_operator
perform-operation-7-fault o9
10
9 0
10 0
11 0
12 0
13 0
14 0
26 9
43 0
44 0
45 0
2
6
0 8 -1 0
0 15 -1 0
0 26 9 6
0 33 -1 0
0 43 0 1
0 52 -1 1
2
0 8 -1 0
0 26 9 10
0
end_operator
begin_operator
perform-operation-8-fault o1
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
18 9
44 0
45 0
2
6
0 0 -1 0
0 16 -1 0
0 18 9 7
0 34 -1 0
0 44 0 1
0 53 -1 1
2
0 0 -1 0
0 18 9 10
0
end_operator
begin_operator
perform-operation-8-fault o2
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
19 9
44 0
45 0
2
6
0 1 -1 0
0 16 -1 0
0 19 9 7
0 34 -1 0
0 44 0 1
0 53 -1 1
2
0 1 -1 0
0 19 9 10
0
end_operator
begin_operator
perform-operation-8-fault o3
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
20 9
44 0
45 0
2
6
0 2 -1 0
0 16 -1 0
0 20 9 7
0 34 -1 0
0 44 0 1
0 53 -1 1
2
0 2 -1 0
0 20 9 10
0
end_operator
begin_operator
perform-operation-8-fault o4
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
21 9
44 0
45 0
2
6
0 3 -1 0
0 16 -1 0
0 21 9 7
0 34 -1 0
0 44 0 1
0 53 -1 1
2
0 3 -1 0
0 21 9 10
0
end_operator
begin_operator
perform-operation-8-fault o5
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
22 9
44 0
45 0
2
6
0 4 -1 0
0 16 -1 0
0 22 9 7
0 34 -1 0
0 44 0 1
0 53 -1 1
2
0 4 -1 0
0 22 9 10
0
end_operator
begin_operator
perform-operation-8-fault o6
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
23 9
44 0
45 0
2
6
0 5 -1 0
0 16 -1 0
0 23 9 7
0 34 -1 0
0 44 0 1
0 53 -1 1
2
0 5 -1 0
0 23 9 10
0
end_operator
begin_operator
perform-operation-8-fault o7
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
24 9
44 0
45 0
2
6
0 6 -1 0
0 16 -1 0
0 24 9 7
0 34 -1 0
0 44 0 1
0 53 -1 1
2
0 6 -1 0
0 24 9 10
0
end_operator
begin_operator
perform-operation-8-fault o8
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
25 9
44 0
45 0
2
6
0 7 -1 0
0 16 -1 0
0 25 9 7
0 34 -1 0
0 44 0 1
0 53 -1 1
2
0 7 -1 0
0 25 9 10
0
end_operator
begin_operator
perform-operation-8-fault o9
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
26 9
44 0
45 0
2
6
0 8 -1 0
0 16 -1 0
0 26 9 7
0 34 -1 0
0 44 0 1
0 53 -1 1
2
0 8 -1 0
0 26 9 10
0
end_operator
begin_operator
perform-operation-9-fault o1
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
18 9
45 0
2
6
0 0 -1 0
0 17 -1 0
0 18 9 8
0 35 -1 0
0 45 0 1
0 54 -1 1
2
0 0 -1 0
0 18 9 10
0
end_operator
begin_operator
perform-operation-9-fault o2
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
19 9
45 0
2
6
0 1 -1 0
0 17 -1 0
0 19 9 8
0 35 -1 0
0 45 0 1
0 54 -1 1
2
0 1 -1 0
0 19 9 10
0
end_operator
begin_operator
perform-operation-9-fault o3
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
20 9
45 0
2
6
0 2 -1 0
0 17 -1 0
0 20 9 8
0 35 -1 0
0 45 0 1
0 54 -1 1
2
0 2 -1 0
0 20 9 10
0
end_operator
begin_operator
perform-operation-9-fault o4
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
21 9
45 0
2
6
0 3 -1 0
0 17 -1 0
0 21 9 8
0 35 -1 0
0 45 0 1
0 54 -1 1
2
0 3 -1 0
0 21 9 10
0
end_operator
begin_operator
perform-operation-9-fault o5
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
22 9
45 0
2
6
0 4 -1 0
0 17 -1 0
0 22 9 8
0 35 -1 0
0 45 0 1
0 54 -1 1
2
0 4 -1 0
0 22 9 10
0
end_operator
begin_operator
perform-operation-9-fault o6
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
23 9
45 0
2
6
0 5 -1 0
0 17 -1 0
0 23 9 8
0 35 -1 0
0 45 0 1
0 54 -1 1
2
0 5 -1 0
0 23 9 10
0
end_operator
begin_operator
perform-operation-9-fault o7
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
24 9
45 0
2
6
0 6 -1 0
0 17 -1 0
0 24 9 8
0 35 -1 0
0 45 0 1
0 54 -1 1
2
0 6 -1 0
0 24 9 10
0
end_operator
begin_operator
perform-operation-9-fault o8
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
25 9
45 0
2
6
0 7 -1 0
0 17 -1 0
0 25 9 8
0 35 -1 0
0 45 0 1
0 54 -1 1
2
0 7 -1 0
0 25 9 10
0
end_operator
begin_operator
perform-operation-9-fault o9
10
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
26 9
45 0
2
6
0 8 -1 0
0 17 -1 0
0 26 9 8
0 35 -1 0
0 45 0 1
0 54 -1 1
2
0 8 -1 0
0 26 9 10
0
end_operator
begin_operator
repair-fault-1 o1
2
18 0
27 0
1
5
0 0 -1 1
0 18 0 9
0 27 0 1
0 37 -1 0
0 46 -1 0
0
end_operator
begin_operator
repair-fault-1 o2
2
19 0
27 0
1
5
0 1 -1 1
0 19 0 9
0 27 0 1
0 37 -1 0
0 46 -1 0
0
end_operator
begin_operator
repair-fault-1 o3
2
20 0
27 0
1
5
0 2 -1 1
0 20 0 9
0 27 0 1
0 37 -1 0
0 46 -1 0
0
end_operator
begin_operator
repair-fault-1 o4
2
21 0
27 0
1
5
0 3 -1 1
0 21 0 9
0 27 0 1
0 37 -1 0
0 46 -1 0
0
end_operator
begin_operator
repair-fault-1 o5
2
22 0
27 0
1
5
0 4 -1 1
0 22 0 9
0 27 0 1
0 37 -1 0
0 46 -1 0
0
end_operator
begin_operator
repair-fault-1 o6
2
23 0
27 0
1
5
0 5 -1 1
0 23 0 9
0 27 0 1
0 37 -1 0
0 46 -1 0
0
end_operator
begin_operator
repair-fault-1 o7
2
24 0
27 0
1
5
0 6 -1 1
0 24 0 9
0 27 0 1
0 37 -1 0
0 46 -1 0
0
end_operator
begin_operator
repair-fault-1 o8
2
25 0
27 0
1
5
0 7 -1 1
0 25 0 9
0 27 0 1
0 37 -1 0
0 46 -1 0
0
end_operator
begin_operator
repair-fault-1 o9
2
26 0
27 0
1
5
0 8 -1 1
0 26 0 9
0 27 0 1
0 37 -1 0
0 46 -1 0
0
end_operator
begin_operator
repair-fault-2 o1
2
18 1
28 0
1
7
0 0 -1 1
0 18 1 9
0 27 -1 0
0 28 0 1
0 38 -1 0
0 46 -1 1
0 47 -1 0
0
end_operator
begin_operator
repair-fault-2 o2
2
19 1
28 0
1
7
0 1 -1 1
0 19 1 9
0 27 -1 0
0 28 0 1
0 38 -1 0
0 46 -1 1
0 47 -1 0
0
end_operator
begin_operator
repair-fault-2 o3
2
20 1
28 0
1
7
0 2 -1 1
0 20 1 9
0 27 -1 0
0 28 0 1
0 38 -1 0
0 46 -1 1
0 47 -1 0
0
end_operator
begin_operator
repair-fault-2 o4
2
21 1
28 0
1
7
0 3 -1 1
0 21 1 9
0 27 -1 0
0 28 0 1
0 38 -1 0
0 46 -1 1
0 47 -1 0
0
end_operator
begin_operator
repair-fault-2 o5
2
22 1
28 0
1
7
0 4 -1 1
0 22 1 9
0 27 -1 0
0 28 0 1
0 38 -1 0
0 46 -1 1
0 47 -1 0
0
end_operator
begin_operator
repair-fault-2 o6
2
23 1
28 0
1
7
0 5 -1 1
0 23 1 9
0 27 -1 0
0 28 0 1
0 38 -1 0
0 46 -1 1
0 47 -1 0
0
end_operator
begin_operator
repair-fault-2 o7
2
24 1
28 0
1
7
0 6 -1 1
0 24 1 9
0 27 -1 0
0 28 0 1
0 38 -1 0
0 46 -1 1
0 47 -1 0
0
end_operator
begin_operator
repair-fault-2 o8
2
25 1
28 0
1
7
0 7 -1 1
0 25 1 9
0 27 -1 0
0 28 0 1
0 38 -1 0
0 46 -1 1
0 47 -1 0
0
end_operator
begin_operator
repair-fault-2 o9
2
26 1
28 0
1
7
0 8 -1 1
0 26 1 9
0 27 -1 0
0 28 0 1
0 38 -1 0
0 46 -1 1
0 47 -1 0
0
end_operator
begin_operator
repair-fault-3 o1
2
18 2
29 0
1
7
0 0 -1 1
0 18 2 9
0 28 -1 0
0 29 0 1
0 39 -1 0
0 47 -1 1
0 48 -1 0
0
end_operator
begin_operator
repair-fault-3 o2
2
19 2
29 0
1
7
0 1 -1 1
0 19 2 9
0 28 -1 0
0 29 0 1
0 39 -1 0
0 47 -1 1
0 48 -1 0
0
end_operator
begin_operator
repair-fault-3 o3
2
20 2
29 0
1
7
0 2 -1 1
0 20 2 9
0 28 -1 0
0 29 0 1
0 39 -1 0
0 47 -1 1
0 48 -1 0
0
end_operator
begin_operator
repair-fault-3 o4
2
21 2
29 0
1
7
0 3 -1 1
0 21 2 9
0 28 -1 0
0 29 0 1
0 39 -1 0
0 47 -1 1
0 48 -1 0
0
end_operator
begin_operator
repair-fault-3 o5
2
22 2
29 0
1
7
0 4 -1 1
0 22 2 9
0 28 -1 0
0 29 0 1
0 39 -1 0
0 47 -1 1
0 48 -1 0
0
end_operator
begin_operator
repair-fault-3 o6
2
23 2
29 0
1
7
0 5 -1 1
0 23 2 9
0 28 -1 0
0 29 0 1
0 39 -1 0
0 47 -1 1
0 48 -1 0
0
end_operator
begin_operator
repair-fault-3 o7
2
24 2
29 0
1
7
0 6 -1 1
0 24 2 9
0 28 -1 0
0 29 0 1
0 39 -1 0
0 47 -1 1
0 48 -1 0
0
end_operator
begin_operator
repair-fault-3 o8
2
25 2
29 0
1
7
0 7 -1 1
0 25 2 9
0 28 -1 0
0 29 0 1
0 39 -1 0
0 47 -1 1
0 48 -1 0
0
end_operator
begin_operator
repair-fault-3 o9
2
26 2
29 0
1
7
0 8 -1 1
0 26 2 9
0 28 -1 0
0 29 0 1
0 39 -1 0
0 47 -1 1
0 48 -1 0
0
end_operator
begin_operator
repair-fault-4 o1
2
18 3
30 0
1
7
0 0 -1 1
0 18 3 9
0 29 -1 0
0 30 0 1
0 40 -1 0
0 48 -1 1
0 49 -1 0
0
end_operator
begin_operator
repair-fault-4 o2
2
19 3
30 0
1
7
0 1 -1 1
0 19 3 9
0 29 -1 0
0 30 0 1
0 40 -1 0
0 48 -1 1
0 49 -1 0
0
end_operator
begin_operator
repair-fault-4 o3
2
20 3
30 0
1
7
0 2 -1 1
0 20 3 9
0 29 -1 0
0 30 0 1
0 40 -1 0
0 48 -1 1
0 49 -1 0
0
end_operator
begin_operator
repair-fault-4 o4
2
21 3
30 0
1
7
0 3 -1 1
0 21 3 9
0 29 -1 0
0 30 0 1
0 40 -1 0
0 48 -1 1
0 49 -1 0
0
end_operator
begin_operator
repair-fault-4 o5
2
22 3
30 0
1
7
0 4 -1 1
0 22 3 9
0 29 -1 0
0 30 0 1
0 40 -1 0
0 48 -1 1
0 49 -1 0
0
end_operator
begin_operator
repair-fault-4 o6
2
23 3
30 0
1
7
0 5 -1 1
0 23 3 9
0 29 -1 0
0 30 0 1
0 40 -1 0
0 48 -1 1
0 49 -1 0
0
end_operator
begin_operator
repair-fault-4 o7
2
24 3
30 0
1
7
0 6 -1 1
0 24 3 9
0 29 -1 0
0 30 0 1
0 40 -1 0
0 48 -1 1
0 49 -1 0
0
end_operator
begin_operator
repair-fault-4 o8
2
25 3
30 0
1
7
0 7 -1 1
0 25 3 9
0 29 -1 0
0 30 0 1
0 40 -1 0
0 48 -1 1
0 49 -1 0
0
end_operator
begin_operator
repair-fault-4 o9
2
26 3
30 0
1
7
0 8 -1 1
0 26 3 9
0 29 -1 0
0 30 0 1
0 40 -1 0
0 48 -1 1
0 49 -1 0
0
end_operator
begin_operator
repair-fault-5 o1
2
18 4
31 0
1
7
0 0 -1 1
0 18 4 9
0 30 -1 0
0 31 0 1
0 41 -1 0
0 49 -1 1
0 50 -1 0
0
end_operator
begin_operator
repair-fault-5 o2
2
19 4
31 0
1
7
0 1 -1 1
0 19 4 9
0 30 -1 0
0 31 0 1
0 41 -1 0
0 49 -1 1
0 50 -1 0
0
end_operator
begin_operator
repair-fault-5 o3
2
20 4
31 0
1
7
0 2 -1 1
0 20 4 9
0 30 -1 0
0 31 0 1
0 41 -1 0
0 49 -1 1
0 50 -1 0
0
end_operator
begin_operator
repair-fault-5 o4
2
21 4
31 0
1
7
0 3 -1 1
0 21 4 9
0 30 -1 0
0 31 0 1
0 41 -1 0
0 49 -1 1
0 50 -1 0
0
end_operator
begin_operator
repair-fault-5 o5
2
22 4
31 0
1
7
0 4 -1 1
0 22 4 9
0 30 -1 0
0 31 0 1
0 41 -1 0
0 49 -1 1
0 50 -1 0
0
end_operator
begin_operator
repair-fault-5 o6
2
23 4
31 0
1
7
0 5 -1 1
0 23 4 9
0 30 -1 0
0 31 0 1
0 41 -1 0
0 49 -1 1
0 50 -1 0
0
end_operator
begin_operator
repair-fault-5 o7
2
24 4
31 0
1
7
0 6 -1 1
0 24 4 9
0 30 -1 0
0 31 0 1
0 41 -1 0
0 49 -1 1
0 50 -1 0
0
end_operator
begin_operator
repair-fault-5 o8
2
25 4
31 0
1
7
0 7 -1 1
0 25 4 9
0 30 -1 0
0 31 0 1
0 41 -1 0
0 49 -1 1
0 50 -1 0
0
end_operator
begin_operator
repair-fault-5 o9
2
26 4
31 0
1
7
0 8 -1 1
0 26 4 9
0 30 -1 0
0 31 0 1
0 41 -1 0
0 49 -1 1
0 50 -1 0
0
end_operator
begin_operator
repair-fault-6 o1
2
18 5
32 0
1
7
0 0 -1 1
0 18 5 9
0 31 -1 0
0 32 0 1
0 42 -1 0
0 50 -1 1
0 51 -1 0
0
end_operator
begin_operator
repair-fault-6 o2
2
19 5
32 0
1
7
0 1 -1 1
0 19 5 9
0 31 -1 0
0 32 0 1
0 42 -1 0
0 50 -1 1
0 51 -1 0
0
end_operator
begin_operator
repair-fault-6 o3
2
20 5
32 0
1
7
0 2 -1 1
0 20 5 9
0 31 -1 0
0 32 0 1
0 42 -1 0
0 50 -1 1
0 51 -1 0
0
end_operator
begin_operator
repair-fault-6 o4
2
21 5
32 0
1
7
0 3 -1 1
0 21 5 9
0 31 -1 0
0 32 0 1
0 42 -1 0
0 50 -1 1
0 51 -1 0
0
end_operator
begin_operator
repair-fault-6 o5
2
22 5
32 0
1
7
0 4 -1 1
0 22 5 9
0 31 -1 0
0 32 0 1
0 42 -1 0
0 50 -1 1
0 51 -1 0
0
end_operator
begin_operator
repair-fault-6 o6
2
23 5
32 0
1
7
0 5 -1 1
0 23 5 9
0 31 -1 0
0 32 0 1
0 42 -1 0
0 50 -1 1
0 51 -1 0
0
end_operator
begin_operator
repair-fault-6 o7
2
24 5
32 0
1
7
0 6 -1 1
0 24 5 9
0 31 -1 0
0 32 0 1
0 42 -1 0
0 50 -1 1
0 51 -1 0
0
end_operator
begin_operator
repair-fault-6 o8
2
25 5
32 0
1
7
0 7 -1 1
0 25 5 9
0 31 -1 0
0 32 0 1
0 42 -1 0
0 50 -1 1
0 51 -1 0
0
end_operator
begin_operator
repair-fault-6 o9
2
26 5
32 0
1
7
0 8 -1 1
0 26 5 9
0 31 -1 0
0 32 0 1
0 42 -1 0
0 50 -1 1
0 51 -1 0
0
end_operator
begin_operator
repair-fault-7 o1
2
18 6
33 0
1
7
0 0 -1 1
0 18 6 9
0 32 -1 0
0 33 0 1
0 43 -1 0
0 51 -1 1
0 52 -1 0
0
end_operator
begin_operator
repair-fault-7 o2
2
19 6
33 0
1
7
0 1 -1 1
0 19 6 9
0 32 -1 0
0 33 0 1
0 43 -1 0
0 51 -1 1
0 52 -1 0
0
end_operator
begin_operator
repair-fault-7 o3
2
20 6
33 0
1
7
0 2 -1 1
0 20 6 9
0 32 -1 0
0 33 0 1
0 43 -1 0
0 51 -1 1
0 52 -1 0
0
end_operator
begin_operator
repair-fault-7 o4
2
21 6
33 0
1
7
0 3 -1 1
0 21 6 9
0 32 -1 0
0 33 0 1
0 43 -1 0
0 51 -1 1
0 52 -1 0
0
end_operator
begin_operator
repair-fault-7 o5
2
22 6
33 0
1
7
0 4 -1 1
0 22 6 9
0 32 -1 0
0 33 0 1
0 43 -1 0
0 51 -1 1
0 52 -1 0
0
end_operator
begin_operator
repair-fault-7 o6
2
23 6
33 0
1
7
0 5 -1 1
0 23 6 9
0 32 -1 0
0 33 0 1
0 43 -1 0
0 51 -1 1
0 52 -1 0
0
end_operator
begin_operator
repair-fault-7 o7
2
24 6
33 0
1
7
0 6 -1 1
0 24 6 9
0 32 -1 0
0 33 0 1
0 43 -1 0
0 51 -1 1
0 52 -1 0
0
end_operator
begin_operator
repair-fault-7 o8
2
25 6
33 0
1
7
0 7 -1 1
0 25 6 9
0 32 -1 0
0 33 0 1
0 43 -1 0
0 51 -1 1
0 52 -1 0
0
end_operator
begin_operator
repair-fault-7 o9
2
26 6
33 0
1
7
0 8 -1 1
0 26 6 9
0 32 -1 0
0 33 0 1
0 43 -1 0
0 51 -1 1
0 52 -1 0
0
end_operator
begin_operator
repair-fault-8 o1
2
18 7
34 0
1
7
0 0 -1 1
0 18 7 9
0 33 -1 0
0 34 0 1
0 44 -1 0
0 52 -1 1
0 53 -1 0
0
end_operator
begin_operator
repair-fault-8 o2
2
19 7
34 0
1
7
0 1 -1 1
0 19 7 9
0 33 -1 0
0 34 0 1
0 44 -1 0
0 52 -1 1
0 53 -1 0
0
end_operator
begin_operator
repair-fault-8 o3
2
20 7
34 0
1
7
0 2 -1 1
0 20 7 9
0 33 -1 0
0 34 0 1
0 44 -1 0
0 52 -1 1
0 53 -1 0
0
end_operator
begin_operator
repair-fault-8 o4
2
21 7
34 0
1
7
0 3 -1 1
0 21 7 9
0 33 -1 0
0 34 0 1
0 44 -1 0
0 52 -1 1
0 53 -1 0
0
end_operator
begin_operator
repair-fault-8 o5
2
22 7
34 0
1
7
0 4 -1 1
0 22 7 9
0 33 -1 0
0 34 0 1
0 44 -1 0
0 52 -1 1
0 53 -1 0
0
end_operator
begin_operator
repair-fault-8 o6
2
23 7
34 0
1
7
0 5 -1 1
0 23 7 9
0 33 -1 0
0 34 0 1
0 44 -1 0
0 52 -1 1
0 53 -1 0
0
end_operator
begin_operator
repair-fault-8 o7
2
24 7
34 0
1
7
0 6 -1 1
0 24 7 9
0 33 -1 0
0 34 0 1
0 44 -1 0
0 52 -1 1
0 53 -1 0
0
end_operator
begin_operator
repair-fault-8 o8
2
25 7
34 0
1
7
0 7 -1 1
0 25 7 9
0 33 -1 0
0 34 0 1
0 44 -1 0
0 52 -1 1
0 53 -1 0
0
end_operator
begin_operator
repair-fault-8 o9
2
26 7
34 0
1
7
0 8 -1 1
0 26 7 9
0 33 -1 0
0 34 0 1
0 44 -1 0
0 52 -1 1
0 53 -1 0
0
end_operator
begin_operator
repair-fault-9 o1
2
18 8
35 0
1
7
0 0 -1 1
0 18 8 9
0 34 -1 0
0 35 0 1
0 45 -1 0
0 53 -1 1
0 54 -1 0
0
end_operator
begin_operator
repair-fault-9 o2
2
19 8
35 0
1
7
0 1 -1 1
0 19 8 9
0 34 -1 0
0 35 0 1
0 45 -1 0
0 53 -1 1
0 54 -1 0
0
end_operator
begin_operator
repair-fault-9 o3
2
20 8
35 0
1
7
0 2 -1 1
0 20 8 9
0 34 -1 0
0 35 0 1
0 45 -1 0
0 53 -1 1
0 54 -1 0
0
end_operator
begin_operator
repair-fault-9 o4
2
21 8
35 0
1
7
0 3 -1 1
0 21 8 9
0 34 -1 0
0 35 0 1
0 45 -1 0
0 53 -1 1
0 54 -1 0
0
end_operator
begin_operator
repair-fault-9 o5
2
22 8
35 0
1
7
0 4 -1 1
0 22 8 9
0 34 -1 0
0 35 0 1
0 45 -1 0
0 53 -1 1
0 54 -1 0
0
end_operator
begin_operator
repair-fault-9 o6
2
23 8
35 0
1
7
0 5 -1 1
0 23 8 9
0 34 -1 0
0 35 0 1
0 45 -1 0
0 53 -1 1
0 54 -1 0
0
end_operator
begin_operator
repair-fault-9 o7
2
24 8
35 0
1
7
0 6 -1 1
0 24 8 9
0 34 -1 0
0 35 0 1
0 45 -1 0
0 53 -1 1
0 54 -1 0
0
end_operator
begin_operator
repair-fault-9 o8
2
25 8
35 0
1
7
0 7 -1 1
0 25 8 9
0 34 -1 0
0 35 0 1
0 45 -1 0
0 53 -1 1
0 54 -1 0
0
end_operator
begin_operator
repair-fault-9 o9
2
26 8
35 0
1
7
0 8 -1 1
0 26 8 9
0 34 -1 0
0 35 0 1
0 45 -1 0
0 53 -1 1
0 54 -1 0
0
end_operator
0
